<div id="error">
	<h1>Error !</h1>
	There seems to be a bug in the system of the repository : please report it to the administrator.
</div>
